pr2 is package{
  pr2 is let {
        id2 is (function (X) is X);
    } in (id2(1), id2(true));
    
  main() do {
    assert pr2 = (1,true)
  }
}